COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	analog[e82,jmc]		What computations cannot be made efficiently by computer?
C00006 ENDMK
C⊗;
analog[e82,jmc]		What computations cannot be made efficiently by computer?
backtr[e82,jmc]		Proposed backtracking macro for Lisp
bird[e82,jmc]		Minsky's bird example - for circumscription
cbcl[e82,jmc]		Notes on CBCL, summer 1982
chess[e82,jmc]		Notes on the Berliner thesis position
common[e82,jmc]		Draft message to Kahn about Common Lisp.
constr.ess[e82,jmc]	The key requirement is to reduce the cost of construction
cooper[e82,jmc]		Notes for discussion with Cooper about AI and defense
cs206[e82,jmc]		Description of CS206 for "Mathematical Sciences Handbook"
drosop[e82,jmc]		Chess as the Drosophila of AI
exampl[e82,jmc]		examples for circumscription including Reiter home town
handou[e82,jmc]		Common sense axioms for moving objects
indus[e82,jmc]		Industrial Lectureship in Computer Science
inhibi[e82,jmc]		Inhibition: another method of non-monotonic reasoning
logica[e82,jmc]		Logic and ordinary language, Barwise and Perry
minimi[e82,jmc]		Minimizing logical expressions
moving[e82,jmc]		Common sense axioms for moving objects
partia[e82,jmc]		Partial models and partial relativization
patter[e82,jmc]		Patterns and concepts
prize[e82,jmc]		Writeup of prize problem
queen2.lsp[e82,jmc]	Simple backtracker for 8 queens
queens[e82,jmc]		dialog with Wegner on  n  queens
queens.2[e82,jmc]	Notes on the  n  queens problem
queens.bib[e82,jmc]	Bibliography on  n  queens
queens.lsp[e82,jmc]	Programs for the  n  queens problem - mostly fragments
queen2.lsp[e82,jmc]	The running programs for  n  queens
queen3.lsp[e82,jmc]	A version that excludes squares already tried
queen4.lsp[e82,jmc]	New try at version that excludes squares already tried
reify[e82,jmc]		Reification and natural kinds in AI
reduct[e82,jmc]		reduction to satisfiability and satisfiability machine
remark[e82,jmc]		jmc remarks that may be useful - social
situat[e82,jmc]		situation calculus and axioms
style[e82,jmc]		A style for interactive programs
telegr[e82,jmc]		Telegraphic communication in natural language
verifi[e82,jmc]		proofs checkable in linear time